Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Associate Professor, Senior Lecturer, Reader |
|---|---|
| Research fields | Theoretical Computer Science,Software Engineering and Programming Languages,Computer Architecture, Embedded and Massively Parallel Systems |
| Keywords | formal verification, refinement, Object-Z, object orientation, formal specification |
Current contact address
| Country | Australia |
|---|---|
| City | Brisbane |
| Institution | University of Queensland (UQ) |
| Institute | School of Information Technology and Electrical Engineering |
Host during sponsorship
| Prof. Dr. Stefan Jähnichen | Fachgebiet Softwaretechnik, Technische Universität Berlin, Berlin |
|---|---|
| Prof. Dr. Stefan Jähnichen | Fakultät Elektrotechnik und Informatik, Fachgebiet Softwaretechnik, TEL 12-3, Technische Universität Berlin, Berlin |
| Start of initial sponsorship | 01/07/1996 |
Programme(s)
| 1995 | Humboldt Research Fellowship Programme |
|---|